1. Building Innovation Pipelines through Computer-Aided Innovation
پدیدآورنده : edited by Denis Cavallucci, Roland Guio, Gaetano Cascini.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع : Artificial intelligence.,Computer science.,Computer simulation.,Computer-aided design.,Engineering mathematics.,Software engineering.
2. Communication-Based Systems
پدیدآورنده : edited by Günter Hommel.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع : Algebra.,Computer science.,Mathematics.,Software engineering.,Systems theory.
3. Facing the Multicore - Challenge II
پدیدآورنده : edited by Rainer Keller, David Kramer, Jan-Philipp Weiss
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع : Computer science,Computer science-- Mathematics,Computer software,Computer vision,Electronic data processing,Engineering,Physics,Software engineering,Algorithm Analysis and Problem Complexity,Complexity,Computational Mathematics and Numerical Analysis,Computer Imaging, Vision, Pattern Recognition and Graphics,Computer Science,Numeric Computing,Software Engineering/Programming and Operating Systems
4. Fields of Logic and Computation II
پدیدآورنده : \ Lev D. Beklemishev, Andreas Blass, Nachum Dershowitz, Bernd Finkbeiner, Wolfram Schulte (eds.)
کتابخانه: کتابخانه زبانهای خارجی و منابع اسلامی (قم)
موضوع : Software engineering,نرم‌افزار,-- Congresses,-- کنگره‌ها, -- مهندسی,a04,a04,Computer logic -- Congresses,Computer science -- Mathematics -- Congresses,منطق کامپیوتری -- کنگره ها,علوم کامپیوتر -- ریاضیات -- کنگره‌ها
رده :
QA
76
.
9
.
L63
F54
2015
E-Book
,
5. Graph Drawing and Network Visualization :
پدیدآورنده :
کتابخانه: كتابخانه مركزی و مركز اسناد دانشگاه مازندران (مازندران)
موضوع : Mathematics. ; Data structures (Computer science). ; Software engineering. ; Algorithm Analysis and Problem Complexity. ; -Algorithms. ; Application software. ; Computer graphics. ; Computer science
6. Graph and Model Transformation
پدیدآورنده : \ Hartmut Ehrig...[et.al]
کتابخانه: کتابخانه زبانهای خارجی و منابع اسلامی (قم)
موضوع : Computer science,کامپیوتر,a03,a03,Software engineering.,Categories (Mathematics),مهندسی ن‍رم اف‍زار ,رسته‌ها (ریاضیات)
رده :
QA
76
.
G7
2015
E-Book
,
7. Integrating Routing Decisions in Public Transportation Problem
پدیدآورنده : / electronic resource
کتابخانه: کتابخانه مرکزی، مرکز اسناد و تامین منابع علمی دانشگاه صنعتی سهند (آذربایجان شرقی)
موضوع : Mathematics,Computer software,Civil engineering,Mathematics,Operations Research, Management Science,Civil Engineering,Algorithm Analysis and Problem Complexity
رده :
E-BOOK
8. Mathematical and Engineering Methods in Computer Science
پدیدآورنده :
کتابخانه: کتابخانه زبانهای خارجی و منابع اسلامی (قم)
موضوع : Computer science -- Congresses,Computer science -- Mathematics -- Congresses,Software engineering -- Congresses,علوم کامپیوتر -- کنگره‌ها,علوم کامپیوتر -- ریاضیات -- کنگره‌ها,نرم‌افزار -- مهندسی -- کنگره‌ها
رده :
E-Book
,
9. Mathematical and Engineering Methods in Computer Science
پدیدآورنده : \ Jan Kofroň , Tomáš Vojnar (Eds.)
کتابخانه: کتابخانه زبانهای خارجی و منابع اسلامی (قم)
موضوع : Computer science -- Congresses.,Computer science -- Mathematics -- Congresses.,Software engineering -- Congresses.,علوم کامپیوتر -- کنگره‌ها ,علوم کامپیوتر -- ریاضیات -- کنگره‌ها ,نرم‌افزار -- مهندسی-- کنگره‌ها
رده :
QA
75
.
5
.
M32
2016
E-Book
,
10. Mathematical and engineering methods in computer science
پدیدآورنده : Zdeněk Kotásek ... [et al.] (eds.)
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع : Computer science-- Mathematics, Congresses,Computer science, Congresses,Software engineering, Congresses
رده :
QA75
.
5
.
M46
2011eb
11. Methods and Models in Mathematical Programming
پدیدآورنده :
کتابخانه: كتابخانه مركزی و مركز اسناد دانشگاه مازندران (مازندران)
موضوع : Mathematics. ; Software engineering. ; Computational Mathematics and Numerical Analysis. ; -Computer mathematics. ; Computer science
12. Perspectives of System Informatics
پدیدآورنده : \ Andrei Voronkov, Irina Virbitskaite (Eds.)
کتابخانه: کتابخانه زبانهای خارجی و منابع اسلامی (قم)
موضوع : Software engineering -- Congresses.,Computer science -- Congresses.,Computer science -- Mathematics -- Congresses.,نرم‌افزار -- مهندسی-- کنگره‌ها ,علوم کامپیوتر -- کنگره‌ها ,علوم کامپیوتر -- ریاضیات -- کنگره‌ها
رده :
QA
76
.
758
.
P47
2015
E-Book
,
13. Perspectives on Software Requirements
پدیدآورنده : edited by Julio Cesar Sampaio Prado Leite, Jorge Horacio Doorn.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع : Computer science.,Computer-aided design.,Mathematics.,Software engineering.,Systems theory.
14. Quality of Communication-Based Systems :
پدیدآورنده : edited by Günter Hommel.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع : Computer science.,Mathematics.,Software engineering.
رده :
QA76
.
9
.
A23
E358
1995
15. Software service and application engineering
پدیدآورنده : Maritta Heisel (ed.)
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع : Computer science-- Mathematics,Software engineering
رده :
QA76
.
758
.
S725
2012eb
16. Systolic Computations
پدیدآورنده : by M.A. Frumkin.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع : Computer science.,Mathematics.,Software engineering.
17. dependent Problems in Imaging and Parameter Identification-Time
پدیدآورنده :
کتابخانه: كتابخانه مركزی و مركز اسناد دانشگاه مازندران (مازندران)
موضوع : Engineering / Computer Graphics ; Mathematics ; MATHEMATICS / Number Systems ; &COMPUTERS / Data Science / General ; COMPUTERS / Software Development
